微机仿真系统中形式化方法的应用

Z语言是一种广泛应用的形式化语言，适合于仿真实时软件系统的需求规格说明．通过微机系统仿真软件的Z规格说明，讨论了Z语言在实时系统开发中使用的一些方法、对典型问题的处理原则以及操作同时序关系的描述．     

注重疏导 形式多样——民主德国重视青少年教育

大厅里,布满了鲜花。一批刚满14岁的年轻人举起了右手。主持人宣读:“作为我们德意志民主共和国的青年公民,你是否准备好了,为伟大和光荣的社会主义事业,为发扬光大人民的革命传统,与我们一起工作和斗争?”年轻人齐声回答:“我们准备好了,我们为此宣誓!”     

DFS搜索法在大规模开关信息处理系统中的应用

本文将图论中ＤＦＳ（深度搜索法）搜索法改进后应用于大规模开关信息处理系统中，使数据识别速度得到很大提高，从而极大地改善了整个系统的实时性与可靠性。     

外伤性肝破裂救治方式的选择（附58例报告）

对５８例外伤性肝破裂采用不同方式进行手术治疗，治愈５４例，死亡５例。肝破裂后病情多凶险，急诊处理须简单、快速、有效，力求诊断与治疗同步，尽量缩短急诊至手术治疗的时间。根据不同的损伤选择不同的手术方式，以止血，清创和引流为基本原则。３０例采用肝血回输，未发生不良反应。     

冷轧薄板时的延伸困难问题与适轧厚度

最小可轧厚度概念并不符合客观实际,在理论上也有缺陷,分析结果表明,当轧辊直径与轧件厚度之比D/h_0,摩擦系数μ和屈服极限σ_3值较高时在轧制变形区中会出现轧辊表面被弹性压扁成为平行平面的区段。在此区段中金属处于弹性状态,可称为弹性核。弹性核的出现是轧制压力急剧升高,延伸变形困难的真实原因。延伸难度系数k_y可以作为判定弹性核大小和延伸难易程度的指标。k_y小于0.17时为轧机的适轧产品;k_y为0.17—0.27时为在特殊需要下可以少量轧制的技术上可能的产品;k_y大于0.27则延伸极度困难,虽也可轧制但极不经济。     

排课系统的改进及辅助功能设计

新排课系统采用VisualFoxpro6.0中文版,对原系统(UCDS排课系统)进行了改进,增设了辅助功能,克服原系统的一些缺陷,改善了工作界面,提高了工作效率和工作质量。